REF, NoConds
\\[0ex]($a$ ORELSE $b$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(($a$)  ORELSE ($b$))$\cdot$